Analysing context-dependent deviations in interacting with safety-critical systems
نویسندگان
چکیده
منابع مشابه
Analysing context-dependent deviations in interacting with safety-critical systems
Mobile technology is penetrating many areas of human life. This implies that the context of use can vary in many respects. We present a method that aims to support designers in managing the complex design space when considering applications with varying contexts and help them to identify solutions that support users in performing their activities while preserving usability and safety. The metho...
متن کاملAnalysing Information Integrity Requirements in Safety Critical Systems
Organizations’ assets are subject to different threats; which are addressed, usually, by different security solutions. Nonetheless i* modeling language was not developed with security in mind, which motivated the development of other languages (e.g., SI*) that focused on capturing the security requirements (e.g., privacy) of the system-to-be, but far less attention has been paid for capturing i...
متن کاملAnalysing Human Aspects of Safety-Critical Software
We have a number of goals in treating our subject formally. The first is to make both the identification and solution of usability problems clearly traceable and systematic. We wish to use models of interactive behaviour that make usabil-ity assumptions precise and to use tools that enable a systematic and thorough exploration of how these usability assumptions are captured in the system. An im...
متن کاملAnalysing the Impact of Deviations in Task Performance When a User Error May Have Safety-critical Consequences
Interactive safety-critical applications have specific requirements in the design cycle that cannot be completely captured by traditional techniques. In this paper we present a proposal aiming to support designers in analysing the space of design solutions and improve both usability and safety of the system considered. This is achieved by focusing the attention of designers on what can happen w...
متن کاملLarge Deviations of the Empirical Current in Interacting Particle Systems
We study current fluctuations in lattice gases in the hydrodynamic scaling limit. More precisely, we prove a large deviation principle for the empirical current in the symmetric simple exclusion process with rate functional I. We then estimate the asymptotic probability of a fluctuation of the average current over a large time interval and show that the corresponding rate function can be obtain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Reliability Engineering & System Safety
سال: 2006
ISSN: 0951-8320
DOI: 10.1016/j.ress.2006.01.015